#pragma once

extern void start_kernel(void);
